‘‘Flexible” predicates of formal number theory
نویسندگان
چکیده
منابع مشابه
Number Theory and Formal Languages
I survey some of the connections between formal languages and number theory. Topics discussed include applications of representation in base k, representation by sums of Fibonacci numbers, automatic sequences, transcendence in nite characteristic , automaticreal numbers, xed points of homomorphisms, automaticity, and k-regular sequences.
متن کاملFlexible flowshop scheduling with equal number of unrelated parallel machines
This article addresses a multi-stage flowshop scheduling problem with equal number of unrelated parallel machines. The objective is to minimize the makespan for a given set of jobs in the system. This problem class is NP-hard in the strong sense, so a hybrid heuristic method for sequencing and then allocating operations of jobs to machines is developed. A number of test problems are randomly ge...
متن کاملLogics of Quasiary Predicates in Formal Software Development
Logics of quasiary predicates are algebra-based logics constructed in a semantic-syntactic style on the methodological basis, which is common with programming. Such way of construction gives a possibility to use these logics in formal methods of software development. We demonstrate the main ideas of program logic construction and give formal definitions for an important fragment of program logi...
متن کاملFormal Certification of Arithmetic Filters for Geometric Predicates
Floating-point arithmetic provides a fast but inexact way of computing geometric predicates. In order for these predicates to be exact, it is important to rule out all the numerical situations where floating-point computations could lead to wrong results. Taking into account all the potential problems is a tedious work to do by hand. We study in this paper a floating-point implementation of a f...
متن کاملNumeration Systems: A Link between Number Theory and Formal Language Theory
We survey facts mostly emerging from the seminal results of Alan Cobham obtained in the late sixties and early seventies. We do not attempt to be exhaustive but try instead to give some personal interpretations and some research directions. We discuss the notion of numeration systems, recognizable sets of integers and automatic sequences. We briefly sketch some results about transcendence relat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1962
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1962-0140407-x